TSTP Solution File: SWV429^1 by SInE---0.4